Verificación escalable de funciones de barrera de control neuronal utilizando propagación de límites lineales Verificación de funciones de barrera de control neuronal para garantizar su eficacia y seguridad en el organismo. 2026-04-15 · 2 min
